A Logic for Auditing Accountability in Decentralized Systems
نویسندگان
چکیده
We propose a language that allows agents to distribute data with usage policies in a decentralized architecture. In our framework, the compliance with usage policies is not enforced. However, agents may be audited by an authority at an arbitrary moment in time. We design a logic that allows audited agents to prove their actions, and to prove their authorization to posses particular data. Accountability is defined in several flavors, including agent accountability and data accountability. Finally, we show the soundness of the logic.
منابع مشابه
Securing data accountability in decentralized systems
We consider a decentralized setting in which agents exchange data along with usage policies. Agents may violate the intended usage policies, although later on auditing authorities may verify the agents’ data accountability with respect to the intended policies. Using timestamping and signature schemes, we design and analyze an efficient cryptographic protocol generating communication evidences ...
متن کاملSecuring Data Accountability in Decentralized Systems
We consider a decentralized setting in which agents exchange data along with usage policies. Agents may violate the policies, although later on auditing authorities may verify the agents’ accountability with respect to the used data. Using (provably secure) time-stamping and signature schemes, we design and analyze an efficient cryptographic protocol that generates the sufficient communication ...
متن کاملRole of Performance Auditing on Public Accountability Improvement; Emphasis on the Report`s Content
Accountability refers to the commitment of public sector organizations and managers to make decisions about public resources and their other social responsibilities According to agency theory. Efforts to improve public accountability and move towards good governance are the demands of all citizens. One of the tools that can help improve public accountability is the implementation of performance...
متن کاملDecentralized Fuzzy-PID Based Control Model for a Multivariable Liquid Level System
Multivariable liquid level control is essential in process industries to ensure quality of the product and safety of the equipment. However, the significant problems of the control system include excessive time consumption and percentage overshoot, which result from ineffective performance of the tuning methods of the PID controllers used for the system. In this paper, fuzzy logic was used to t...
متن کاملExploring the Functioning of Decision Space: A Review of the Available Health Systems Literature
Background The concept of decision space holds appeal as an approach to disaggregating the elements that may influence decision-making in decentralized systems. This narrative review aims to explore the functioning of decision space and the factors that influence decision space. Methods A narrative review of the literature was conducted with searches of online databases and academic journals ...
متن کامل